Stepwise Refinement in Executable-UML for Embedded System Design: A Preliminary Study
نویسندگان
چکیده
The fast growth in complexity coupled with requests for shorter development periods for embedded systems are bringing demands towards a more effective, i.e. higher-abstract, design process for hardaware/software integrated design. In Software Engineering area, Model Driven Architecture (MDA) and Executable UML (xUML) has been accepted to bring further improvement in software design. This paper constructs MDA and xUML stepwise transformations from an abstract specification model to a more concrete implementation model using the refactoring technique for hardaware/software integrated design. This approach provides clear and structured models which enables quick exploration and synthesis, and early stage verification. Keywords—Hardaware/Software Integrated Design, Model Driven Architecture, Executable UML, Refactoring
منابع مشابه
Using the UML Profile for MARTE to MPSoC Co-Design
The increasing amount of hardware resources in next generation MultiProcessor Systems-on-Chip (MPSoC) calls for efficient design methodologies and tools to reduce their development complexity. This paper presents a candidate MPSoC design environment Gaspard2, which uses the MARTE (Modeling and Analysis of Real-Time and Embedded systems) standard profile for high-level system specification. Gasp...
متن کاملExecutable SystemC specification of the MARTE generic concurrent and communication resources under different Models of Computation
Modeling and analysis of real-time, embedded systems is becoming an important area of research nowadays. In this context, the UML MARTE profile has been proposed to support the specification, design, and verification stages in the design process. It provides a wide set of facilities to introduce all the information required in the first steps of the design process. To carry out the actions invo...
متن کاملRefactoring-based Executable UML Transformation for Embedded System Design
ion of the design process to a higher level called system-level. At the system-level, there is no difference between hardware and software. Great productivity gains can be achieved by starting design from this level. In system-level design, there are several programming languages called system-level description languages, proposed to facilitate the design methodology such as SpecC [20], SystemC...
متن کاملSystemC Code Generation from UML for Wireless Sensor Networks Design
Due to increasing complexity in embedded systems, it became necessary to develop new design methodologies that will address the design from a high level of abstraction. In this context, our study suggests an approach for modeling wireless sensor networks (WSN) from system specification using the Unified Modeling Language (UML), describing both structure and functionality. Process for automatic ...
متن کاملGeneration of Executable Testbenches from Natural Language Requirement Specifications for Embedded Real-Time Systems
We introduce a structured methodology for the generation of executable test environments from textual requirement specifications via UML class diagrams and the application of the classification tree methodology for embedded systems. The first phase is a stepwise transformation from unstructured English text into a textual normal form (TNF), which is automatically translated into UML class diagr...
متن کامل